package il.ac.technion.cs236700.utils.annotations;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

@uPatternDescription
(	Title = "AugmentedType",
	Description = "Only abstract methods and three or more " +
			"static final fields of the same type")

@Target(ElementType.TYPE)
public @interface AugmentedType {
	String[] abstractMethods() default{};
	String[] staticFinalFields() default{};

}
